Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐Rust Borrowing
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
๐Go Generics
Flag this post
Borrow checker says โNoโ! An error that scares me every single time!
polymonster.co.ukยท22h
๐Rust Borrowing
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
๐ฎType Inference Visualization
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
๐ฆDependency Analysis
Flag this post
Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.orgยท18h
๐ML Language
Flag this post
Oops, My UUIDs Collided
๐Hash Functions
Flag this post
My first fifteen compilers (2019)
๐ฌNanopasses
Flag this post
Roadmap for Improving the Type Checker
โ
Type Checking
Flag this post
Teddy Bear Trash Compactor
๐Control Structures
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท59m
โ๏ธInference Rules
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท5h
๐ฒProperty Testing
Flag this post
Reflection for Aggregates (2020)
๐๏ธType Indexing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท22h
๐Stack Allocation
Flag this post
A Beginnerโs Guide to Getting Started with add_messages Reducer in LangGraph
๐Language Bridges
Flag this post
Building Up And Sanding Down
endler.devยท22h
๐งAPI Design
Flag this post
Loading...Loading more...